大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IFIP Working Conference on Computer-aided Design Systems 的图书(共13382本)

Teaching Formal Methods [electronic resource] : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

0
索取号:
作者:Gibbons、 Jeremy.、Oliveira、 Jos茅 Nuno.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Molecular Dynamics of Glass-Forming Systems [electronic resource] : Effects of Pressure

0
索取号:
作者:Floudas、 George.、Paluch、 Marian.、Grzybowski、 Andrzej.、Ngai、 Kai.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Safety and Security in Multiagent Systems [electronic resource] : Research Results from 2004-2006

0
索取号:
作者:Barley、 Mike.、Mouratidis、 Haralambos.、Unruh、 Amy.、Spears、 Diana.、Scerri、 Paul.、Massacci、 Fabio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Active Media Technology [electronic resource] : 5th International Conference, AMT 2009, Beijing, China, October 22-24, 2009. Proceedings

0
索取号:
作者:Liu、 Jiming.、Wu、 Jinglong.、Yao、 Yiyu.、Nishida、 Toyoaki.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Nano-Net [electronic resource] : 4th International ICST Conference, Nano-Net 2009, Lucerne, Switzerland, October 18-20, 2009. Proceedings

0
索取号:
作者:Schmid、 Alexandre.、Goel、 Sanjay.、Wang、 Wei.、Beiu、 Valeriu.、Carrara、 Sandro.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Advances in Information and Computer Security [electronic resource] : 4th International Workshop on Security, IWSEC 2009 Toyama, Japan, October 28-30, 2009 Proceedings

0
索取号:
作者:Takagi、 Tsuyoshi.、Mambo、 Masahiro.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Conceptual Modeling - ER 2009 [electronic resource] : 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings

0
索取号:
作者:Laender、 Alberto H. F.、Castano、 Silvana.、Dayal、 Umeshwar.、Casati、 Fabio.、Oliveira、 Jos茅 Palazzo M.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Modeling Decisions for Artificial Intelligence [electronic resource] : 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30鈥揇ecember 2, 2009. Proceedings

0
索取号:
作者:Torra、 Vicen莽.、Narukawa、 Yasuo.、Inuiguchi、 Masahiro.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Parallel Programming [electronic resource] : For Multicore and Cluster Systems

0
索取号:
作者:Rauber、 Thomas.、R眉nger、 Gudula.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

System Modeling and Optimization [electronic resource] : 23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007, Revised Selected Papers

0
索取号:
作者:Korytowski、 Adam.、Malanowski、 Kazimierz.、Mitkowski、 Wojciech.、Szymkat、 Maciej.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Critical Infrastructure Protection III [electronic resource] : Third Annual IFIP WG 11.10 International Conference on Critical Infrastructure Protection, Hanover, New Hampshire, USA, March 23-25, 2009, Revised Selected Papers

0
索取号:
作者:Palmer、 Charles.、Shenoi、 Sujeet.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Multimodal Corpora [electronic resource] : From Models of Natural Interaction to Systems and Applications

0
索取号:
作者:Kipp、 Michael.、Martin、 Jean-Claude.、Paggio、 Patrizia.、Heylen、 Dirk.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computer Aided Systems Theory - EUROCAST 2009 [electronic resource] : 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers

0
索取号:
作者:Moreno-D铆az、 Roberto.、Pichler、 Franz.、Quesada-Arencibia、 Alexis.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Identity and Privacy in the Internet Age [electronic resource] : 14th Nordic Conference on Secure IT Systems, NordSec 2009, Oslo, Norway, 14-16 October 2009. Proceedings

0
索取号:
作者:J酶sang、 Audun.、Maseng、 Torleiv.、Knapskog、 Svein Johan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Enterprise Interoperability [electronic resource] : Second IFIP WG 5.8 International Workshop, IWEI 2009, Valencia, Spain, October 13-14, 2009. Proceedings

0
索取号:
作者:Poler、 Ra煤l.、Sinderen、 Marten.、Sanchis、 Raquel.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Discovery Science [electronic resource] : 12th International Conference, DS 2009, Porto, Portugal, October 3-5, 2009

0
索取号:
作者:Gama、 Jo茫o.、Costa、 V铆tor Santos.、Jorge、 Al铆pio M谩rio.、Brazdil、 Pavel B.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
最近添加的分类